Determinacy from Strong Reflection
نویسنده
چکیده
The Axiom of Determinacy holds in the inner model L(R) assuming Martin’s Maximum for partial orderings of size c.
منابع مشابه
Tree-functors, determinacy and bisimulations
We study the functorial characterization of bisimulation-based equivalences over a categorical model of labeled trees. We show that, in a setting where all labels are visible, strong bisimilarity can be characterized in terms of enriched functors by relying on reflection of paths with their factorizations. For an enriched functor F , this notion requires that a path (an internal morphism in our...
متن کاملDeterminacy from Strong Compactness of Ω1
In the absence of the Axiom of Choice, the “small” cardinal ω1 can exhibit properties more usually associated with large cardinals, such as strong compactness and supercompactness. For a local version of strong compactness, we say that ω1 is Xstrongly compact (where X is any set) if there is a fine, countably complete measure on ℘ω1(X). Working in ZF + DC, we prove that the ℘(ω1)-strong compact...
متن کاملA Model of the Axiom of Determinacy in Which Every Set of Reals Is Universally Baire (draft)
The consistency of the theory ZF+AD+“every set of reals is universally Baire” is proved relative to ZFC + “there is a cardinal λ that is a limit of Woodin cardinals and of strong cardinals.” The proof is based on the derived model construction, which was used by Woodin to show that the theory ZF+AD+“every set of reals is Suslin” is consistent relative to ZFC+“there is a cardinal λ that is a lim...
متن کاملThe Simulation Technique and Its Applications to Infinitary Combinatorics under the Axiom of Blackwell Determinacy
The Axiom of Blackwell Determinacy is a set-theoretic axiom motivated by games used in statistics. It is known that the Axiom of Determinacy implies the Axiom of Blackwell Determinacy. Tony Martin has conjectured that the two axioms are equivalent. We develop the “simulation technique” which allows us to simulate boundedness proofs under the assumption of Blackwell Determinacy and deduce strong...
متن کاملDeterminacy in strong cardinal models
We give limits defined in terms of abstract pointclasses of the amount of determinacy available in certain canonical inner models involving strong cardinals. We show for example: Theorem A Det(Π1-IND)⇒there exists an inner model with a strong cardinal. Theorem B Det(AQI)⇒there exist type-1 mice and hence inner models with proper classes of strong cardinals where Π1-IND (AQI) is the pointclass o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012